1
Cơ sở của logic tổ hợp
MATH002Lesson 11
00:00
Hãy tưởng tượng một hệ thống nơi chỉ có hiện tại là điều quan trọng — không ghi nhớ quá khứ, cũng chẳng dự đoán tương lai. Đây chính là thế giới của logic tổ hợp. Ở đây, các mạch số hoạt động như những bộ dịch toán học tức thì, chuyển đổi một tổ hợp tín hiệu đầu vào cụ thể thành một kết quả đầu ra duy nhất mà không cần đến các vòng hồi tiếp hay bộ nhớ nội bộ. Đây chính là biểu hiện vật lý thuần túy nhất của đại số Boolean.

Kiến trúc đệ quy của logic

Để xây dựng những bộ não kỹ thuật số phức tạp, chúng ta phải xác định trước ngữ pháp ngôn ngữ của chúng. Trong bất kỳ đại số Boolean nào $(S, +, \cdot, ', 0, 1)$, ta định nghĩa biểu thức Boolean trên một tập biến $x_1, \dots, x_n$ thông qua quá trình quy nạp cấu trúc:

Trường hợp cơ sở

1. Mọi hằng số $s \in S$ đều là một biểu thức Boolean.
2. Mọi biến $x_1, \dots, x_n$ đều là một biểu thức Boolean.

Bước quy nạp

Nếu $X_1$ và $X_2$ đã là các biểu thức Boolean, thì các biểu thức sau đây cũng là hợp lệ:

$(X_1), \quad X_1', \quad X_1 + X_2, \quad X_1 \cdot X_2$

Ưu tiên và hiệu quả

Khi không có dấu ngoặc, ta tuân theo thứ tự ưu tiên nghiêm ngặt để tránh hiểu nhầm: Phép hội ($\\land$) luôn được ưu tiên hơn Phép tuyển ($\\lor$). Hơn nữa, để tối ưu hóa thiết kế phần cứng, ta sử dụng các cổng đầu vào $n$. Thay vì nối nhiều cổng 2 đầu vào, ta biểu diễn $a_1 \vee a_2 \vee \dots \vee a_n$ như một đơn vị logic duy nhất, giúp giảm độ trễ lan truyền và đơn giản hóa cấu trúc mạch điện.

Nguyên lý ánh xạ cấu trúc

Mọi biểu thức đại số đều là bản vẽ sơ đồ cho một mạch điện vật lý. Hãy xem xét cách xây dựng cho $(x_1 \wedge (\neg x_2 \vee x_3)) \vee x_2$:

  • Tầng trong: Chúng ta đầu tiên tách riêng $(\neg x_2 \vee x_3)$ bằng cách dùng cổng NOT và cổng OR.
  • Tầng giữa: Kết quả được đưa vào cổng AND cùng với tín hiệu từ $x_1$.
  • Tầng ngoài: Cuối cùng, đầu ra của cổng AND và đường dây $x_2$ ban đầu gặp nhau tại một cổng OR cuối cùng.
🎯 Nguyên lý cốt lõi
Kiến trúc của một mạch tổ hợp là sự phản chiếu trực tiếp thứ tự thực hiện các thao tác trong biểu thức Boolean của nó. Không có bộ nhớ, không có hồi tiếp — chỉ đơn thuần là phép ánh xạ thuần túy và tức thời.